evtchn: profile event channel lock
authorDavid Vrabel <david.vrabel@citrix.com>
Wed, 10 Jun 2015 10:06:02 +0000 (12:06 +0200)
committerJan Beulich <jbeulich@suse.com>
Wed, 10 Jun 2015 10:06:02 +0000 (12:06 +0200)
commita3046cf809529f4fdd03850e084a94fa72cf78e9
treeb2e92f59713d588545fb881724a4e6da336804d7
parent860313f0411d2dcc6b2fd78bfb834b39d05373a6
evtchn: profile event channel lock

The per-domain event channel lock may suffer from contention.  Add it to
the set of locks to be profiled when lock profiling is enabled.

Signed-off-by: David Vrabel <david.vrabel@citrix.com>
xen/common/event_channel.c